executor by substitution